implement the filler part on guard call generation