Added assertions for arguments