JML remove warning after calling a function

Question

I\'m given a task where I have to remove every warning produced by JML.
If I call a method inside the constructor my requires and ensures are