#3 Required sign "->" should be removed for ArgMax and ArgMin

[alex vautier]

When doing an argMax:

a = argMax{b | b in bs && b.c >= 0.5}(b.d);
a -> bs;
It should not be required to put a -> bs since it can be infered from the argMax instruction itself