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