An initial value representation semiclassical approach for the study of molecular systems with geometric constraints