PetScan::resolve_nested: use function to embed arguments in statement domain