Update on RG generation when having function calls

src/main/java/avatartranslator/AvatarLibraryFunction.java

src/main/java/avatartranslator/AvatarSpecification.java

src/main/java/avatartranslator/AvatarStateMachine.java

...ava/avatartranslator/modelchecker/AvatarModelChecker.java