tryclose
Synopsis:
tryclose;
Description:
Tries to close all open goals using KeY's automatic strategies. If not successful, the goal remains unchanged. So Goals are either closed or left untouched.
Arguments:
No arguments required