Changing KeYJavaMethod to use vanilla KeY FunctionalOperationContract instances instead of wrappers.