Test of instance with formal parameters done.