Contract Programming in AspectJ using adbc