Private RubyContract constructor