renaming wall-robot to wall_robot and removing some features from mushroom and ml_prove because they are too easy