Infer assignable clause from diagram