improvements in the new classes @AbstractMPC and @DeterministicMPC