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