Added annotation @Print

It allows one to selecte variables or return values that should be
print at the end of a static anlaysis