More stuff about add
Merge branch 'prototype' of https://github.com/eskang/validAlloy into prototype
using diff