Proc: Var needs normalization

[PtrMan]

current behaviour:

• introduce var for proc when adding proc knowledge
  ex: <(a --> [b], ^X(a)) =/> Z>
  |-
  <(#55 --> [b], ^X(#55)) =/> Z>

expected behaviour:

ex: <(a --> [b], ^X(a)) =/> Z>
|-
<(#55 --> [b], ^X(#55)) =/> Z>
+ normalize sentence with var and try to revise other existing knowledge with it, add to knowledge if no knowledge was found!