Bugfix: arguments of a message send must be analyzed before checking against null contracts
1 file changed