Unexpected hang with partial model

[balasub]

Running the following commands on the model below results in an unexpected termination.

solve pm 1 Mapping.conforms
ls

domain Mapping
{
  Component ::= new (id: Integer, utilization: Real).
  Processor ::= new (id: Integer).
  Mapping   ::= new (c: Component, p: Processor).

  // The utilization must be > 0
  invalidUtilization :- c is Component, c.utilization <= 0.

  badMapping :- p is Processor, 
    s = sum(0.0, { c.utilization |
              c is Component, Mapping(c, p) }), s > 100.

  conforms no badMapping, no invalidUtilization.
}

model m of Mapping
{
  c1 is Component(0, 10).
  c2 is Component(1, 90).
  p1 is Processor(0).
  Mapping(c1, p1).
  Mapping(c2, p1).
}

partial model pm of Mapping
{
  c1 is Component(0, x).
  p1 is Processor(0).
  Mapping(c1, p1).
  Mapping(c2, p1).
}

[balasub]

This appears to be caused by the presence of Mapping(c2, p1) in the partial model pm, which should have been rejected when the model was loaded.