add assertions for integrate and mento carlo