GraphsTheorems: some parameters are made module parameters.