Check if composition contains non jml keywords
TODO throw exception
Check if Method is refined when using keyword \final_method
 -> not allowed