Set the contracts of path functions