Abelianization of First Class Constraints