Adding a preliminary implementation of hasMethod in class JmlProgram.