NuXmv: Some refactoring to simplify the implementation of method calls