[<Test>]
  let ``Aliases can occur in restrictions``() =
    let cons =
      @"objects: ?O is_a (300) CLASS where a = X
        condition: a = 5
        restrictions: a = 5"

    let ast = runP ConstraintParser cons
    let forTerm = dependenciesToForLang <| Seq.singleton ast
    test <@ forTerm = [For ("1",ObjRef "CLASS",[],
                        [For ("2",AliasProj ("1","X"),[(EQ, Variable "2", Const (Numeric 5.0))],
                          [Dependency (ReteEqualityRestriction ("1","X",Const (Numeric 5.0)))])])] @>