Class new title: ParsedNegation
	subclassof: ParsedMessage
	fields: ''
	declare: '';
	sharing: ByteCodes

emitForTruth: t1 falsity: t2 into: t3 on: t4 
	[[toLoadFalse  rcvr  [args]
	rcvr] emitForTruth: t2 falsity: t1 into: t3 on: t4]

negated 
	[toLoadFalse  rcvr  [args]
	rcvr]

printon: t1 
	[t1 append: '(negation)'.
	super printon: t1]

rcvr: t1 op: t2 args: t3 
	[rcvr _ t1.
	op _ t2.
	args _ t3]

sizeForTruth: t1 falsity: t2 
	[[toLoadFalse  rcvr  [args]
	rcvr] sizeForTruth: t2 falsity: t1]