Parameter unification done.
Fixed minor bug when reporting the line num of calls (the order was not
always right).