Revert "Fixed KeYInterface to correctly build symbolic execution tree. Disregards precondition for now."

This reverts commit afe302d4f8d87363e85cc5becbe1b9c5abcebec6.
stashing for undoing changes.