test fixed, ArgumentSatisfied contract added