Bug Fix: Precondition from QVT was not being considered