Make sure the version of addOneConstant that takes variable contracts
automatically analyzes the incoming constant if there are no contracts